Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
671	Curriculum Vitae for Thierry Coquand Born, Jallieu (Is`ere, France) Education ´ • 1980 Ecole Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-20 10:27:36 Dependently typed programming Type theory Predicate logic Logic in computer science Mathematical constructivism Constructivism Constructive proof Coq Proof theory Mathematical logic Logic Programming language theory
672	Course: Satisfiability Modulo Theories (SMT): ideas and applications Send your assignment to: 1. Mark the following formulas as valid, satisfiable or unsatisfiable. a. p  q  p  q b. (p  Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 NP-complete problems Mathematical logic Electronic design automation Formal methods Logic in computer science Boolean satisfiability problem Resolution Satisfiability Modulo Theories If and only if Theoretical computer science Mathematics Logic
673	Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-11-02 12:47:33 Theoretical computer science Type theory Transaction processing Logic in computer science Programming language semantics Denotational semantics Object Type system Consistency model Data types Computing Software engineering
674	NRL ReportExecuting Trace Specifications Using Prolog JOHN D. MCLEAN, DAVID M. WEISS, AND CARL E. LANDWEHR Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:04 Logic programming Prolog Logic in computer science Qi Append Horn clause Clause Visual Prolog B-Prolog Software engineering Computing Computer programming
675	Tensors and Optimization Ravi Kannan September 16, 2013 Ravi Kannan Add to Reading List Source URL: simons.berkeley.edu Language: English - Date: 2014-03-13 13:08:11 Mathematical optimization Applied mathematics Mathematics Logic in computer science Constraint programming NP-complete problems Theoretical computer science Operations research Tensor
676	SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM Second Edition Teaching Notes CLIFF B JONES Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:13 Vienna Development Method Meta-IV E1 Everything2 Applied mathematics Theoretical computer science Logic in computer science Denotational semantics
677	MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Metalogic Model theory Multiset NP-complete problems Presburger arithmetic Satisfiability Modulo Theories Cardinality Generalized arithmetic progression Mathematics Mathematical logic Theoretical computer science
678	Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-04-01 07:52:40 Model theory Logic in computer science Predicate logic Semantics NP-complete problems Satisfiability Modulo Theories Function First-order logic Quantifier elimination Mathematics Mathematical logic Logic
679	ConSeq: Detecting Concurrency Bugs through Sequential Errors Wei Zhang1 Junghee Lim1 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-02-02 17:07:10 Software bugs Logic in computer science Debugging Lock Race condition Thread Parallel computing Assertion Dynamic random-access memory Computing Computer programming Software engineering
680	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory

UPDATE